Relationship Between Rank, Nullity, Determinant and Invertibility
Let \(V, W\) be vector spaces over \(\mathbb{F}\) with \(\dim{V} = \dim{W}\) finite and \(T : V \to W\) linear.
The following are all equivalent:
- \(T\) is invertible (bijective)
- \(\mathrm{nullity}(T) = 0\)
- \(\mathrm{rank}(T) = \dim{W}\)
- \(\det(T) \neq 0\)
Using the same notation in the theorem above, we prove this using the following lemmas.
\(\mathrm{nullity}(T) = 0\) if and only if \(T\) is injective.
Proof
Assume that \(\mathrm{nullity}(T) = 0\) and let \(\boldsymbol{a}, \boldsymbol{b} \in V\) such that \(T(\boldsymbol{a}) = T(\boldsymbol{b})\). This implies that
Then since \(\mathrm{nullity}(T) = 0\), the set of values \(\boldsymbol{a} - \boldsymbol{b}\) which map to zero contains only the zero dimensional subspace \(\{\boldsymbol{0}\}\), and hence \(\boldsymbol{a} - \boldsymbol{b} = \boldsymbol{0}\) which implies \(\boldsymbol{a} = \boldsymbol{b}\).
On the converse, if \(T\) is assumed to be injective then
which is equivalent to
With \(\boldsymbol{a} - \boldsymbol{b}\) an arbitrary vector by setting \(\boldsymbol{b} = 0\), we have that the only thing that maps to zero is the zero vector itself, and therefore the subspace of elements mapped to zero is zero dimensional.
\(\mathrm{rank}(T) = \dim{V}\) if and only if \(T\) is surjective.
Proof
If \(\mathrm{rank}(T) = \dim{W}\) then \(T\) must be surjective, as an \(n\) dimensional subspace of an \(n\) dimensional space must be the whole space.
Similarly if \(T\) is surjective, then \(T(\boldsymbol{x})\) is any arbitrary element of \(W\), and hence \(T\) is full rank.
Proof
We can now prove the main result. (2) and (3) are equivalent from the rank nullity theorem. Since (2) implies injectivity, and (3) implies surjectivity, but (2) is equivalent to (3), each of these independently prove bijectivity, (1). The converse is also true, with (1) implying \(T\) is both surjective and injective, hence proving both (2) and (3).
Hence we have established \((1) \iff (2) \iff (3)\).
Then from matrix has non-zero determinant if and only if it is invertible we can conclude the final equivalenc.